101. Logic programming with Prolog /
پدیدآورنده: Max Bramer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
102. Logic with prolog
پدیدآورنده: Peter Gibbins
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
103. Logic with prolog
پدیدآورنده: / Peter gibbins,Gibbins
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Prolog ( Computer Program language),Logic programming
رده :
QA
76
.
73
.
P76G53
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
104. Memory performance of prolog architectures
پدیدآورنده: / by Evan Tick
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Prolog (Computer program language),Computer architecture
رده :
005
.
1
T556M
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
105. Micro-PROLOG and artificial intelligence
پدیدآورنده: Berk, A A
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Artificial intelligence -- Data processing,، Microcomputers -- Programming,، Micro-prolog )Computer program language(
رده :
Q
336
.
B4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
106. Micro-PROLOG: progamming in logic
پدیدآورنده: Clark, Keith L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
107. Micro-PROLOG : programming in logic
پدیدآورنده: Clark, Keith L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Micro - PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
108. Micro-PROLOG : programming in logic
پدیدآورنده: Clark, K. L.)Keith L.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
.
C55
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
109. Micro - Prolog: Programming in logic
پدیدآورنده: Clark, K.L. )Keith L.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Micro - Prolog )computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
110. Micro-prolog : programming in logic
پدیدآورنده: Clark, Keith L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
111. Natural language processing in PROLOG: an introduction to computational linguistics
پدیدآورنده: Gazdar, Gerald.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computational linguistics,، Prolog )Computer program language(
رده :
P
98
.
G38
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
112. Natural language processing in Prolog : an introduction to computational linguistics
پدیدآورنده: Gazdar, Gerald.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computational linguistics,، Prolog )Computer program language(
![](/design/images/bookmore.png)
113. Negation and control in PROLOG
پدیدآورنده: / Lee Naish
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Prolog (Computer program language)
رده :
QA
,
76
.
73
,.
P76
,
N35
,
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
114. Negation and control in PROLOG
پدیدآورنده: Naish, Lee
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Prolog )Computer program language(
رده :
QA
76
.
L4
v
.
238
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
115. Negation and control in Prolog
پدیدآورنده: Naish, Lee, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Prolog )Computer program language(
رده :
QA
76
.
L28
Vol
.
238
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
116. P-Prolog, a parallel logic programming language
پدیدآورنده: Yang, Rong
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
117. P-Prolog a parallel logic programming language
پدیدآورنده: Yang, Rong
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12V36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
118. P-Prolog, a parallel logic programming language
پدیدآورنده: Yang, Rong
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
.
Y36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
119. P-Prolog, a parallel logic programming language
پدیدآورنده: Yang, Rong.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
120. PROLOG and databases :implementations and new directions
پدیدآورنده: editors, Peter M.D. Gray and Robert J. Lucas
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Prolog (Computer program language),Database management
رده :
QA
،
76
.
73
،.
P76
,
P77
،
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)